euler's deduction from theorem